$\exists$$x$:$A$. $B$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:$A$ $\times$ $B$($x$)